When in May 1930, the Council of Trinity College, Cambridge, had to decide whether to renew Wittgenstein's research grant, it turned to Bertrand Russell for an assessment of the work Wittgenstein had been doing over the past year. His verdict: "The theories contained in this new work... are novel, very original and indubitably important. Whether they are true, I do not know. As a logician who likes simplicity, I should like to think that they are not, but from what I (...) have read of them I am quite sure that he ought to have an opportunity to work them out, since, when completed, they may easily prove to constitute a whole new philosophy." "[Philosophical Remarks] contains the seeds of Wittgenstein's later philosophy of mind and of mathematics. Principally, he here discusses the role of indispensable in language, criticizing Russell's The Analysis of Mind. He modifies the Tractatus's picture theory of meaning by stressing that the connection between the proposition and reality is not found in the picture itself. He analyzes generality in and out of mathematics, and the notions of proof and experiment. He formulates a pain/private-language argument and discusses both behaviorism and the verifiability principle. The work is difficult but important, and it belongs in every philosophy collection."—Robert Hoffman, Philosophy "Any serious student of Wittgenstein's work will want to study his Philosophical Remarks as a transitional book between his two great masterpieces. The Remarks is thus indispensible for anyone who seeks a complete understanding of Wittgenstein's philosophy."—Leonard Linsky, American Philosophical Association. (shrink)

A key factor that affects whether and at what age children can demonstrate an understanding of false belief and complement‐clause constructions is the type of task used (whether it is implicit/indirect or explicit/direct). In the current study, we investigate, in an implicit/indirect way, whether children understand that a story character's belief can be true or false, and whether this understanding affects children's choice of linguistic structure to describe the character's belief or to explain the character's belief‐based action. We also measured (...) children's understanding of false belief in explicit false‐belief tasks. English‐ and German‐speaking young 4‐ and 5‐year‐olds as well as English‐ and German‐speaking adult controls heard complement‐clause constructions in a story context where the belief mentioned in the complement clause (e.g., “He thinks thatshe's not feeling well”) turned out to be false, true, or was left open. After hearing the test question (“Why does he not play with her?”), all age groups were most likely to repeat the whole complement‐clause construction when the belief turned out to be false. That is, they tended to explicitly refer to the character's perspective and say “He thinks…” When the belief turned out to be true, participants often reverted to a simple clause (“She's not feeling well”). Furthermore, children with better short‐term memory were more likely to repeat the whole complement‐clause construction. However, children's performance in explicit false‐belief tasks showed no relation to their performance in our novel, more implicit/indirect, task. Whether or not the complement clause was introduced by athatcomplementizer only had a small effect on the German adults’ responses, where leaving out the complementizer also changes the word order of the complement clause. Overall, our results suggest that task characteristics and individual differences in short‐term memory affect children's ability to demonstrate false‐belief understanding and to express this understanding linguistically. (shrink)

Many studies have argued for distinct but complementary contributions from each hemisphere in the control of movements to visual targets. Investigators have attempted to extend observations from patients with unilateral left- and right-hemisphere damage, to those using neurologically-intact participants, by assuming that each hand has privileged access to the contralateral hemisphere. Previous attempts to illustrate right hemispheric contributions to the control of aiming have focussed on increasing the spatial demands of an aiming task, to attenuate the typical right hand advantages, (...) to try to enhance a left hand reaction time advantage in right-handed participants. These early attempts have not been successful. The present study circumnavigates some of the theoretical and methodological difficulties of some of the earlier experiments, by using three different tasks linked directly to specialized functions of the right hemisphere: bisecting, the gap effect, and visuospatial localization. None of these tasks were effective in reducing the magnitude of left hand reaction time advantages in right handers. Results are discussed in terms of alternatives to right hemispheric functional explanations of the effect, the one-dimensional nature of our target arrays, power and precision given the size of the left hand RT effect, and the utility of examining the proportions of participants who show these effects, rather than exclusive reliance on measures of central tendency and their associated null hypothesis significance tests. (shrink)

Provability, Computability and Reflection.

We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ.

In their “social contextual view” of emotional mimicry, authors Hess and Fischer (2022) put forward emotional mimicry as a social regulator, considering it a social act, bound to certain affiliative contexts or goals. In this commentary, we argue that the core function of mimicry is to ease predicting conspecifics’ behaviours and the environment, and that as a consequence, this often smoothens social interactions. Accordingly, we make three main points. First, we argue that there is no good reason to believe that (...) the mimicry of negative expressions is fundamentally different than the mimicry of positive or ambiguous or autonomic expressions. Second, we give examples of empirical evidence that mimicry is not always a social act. Third, we show that mimicry has primary benefits for the mimicker. As such, we will briefly summarise and elaborate on the relevant findings in these respects, and propose a comparative, multi-method and ecologically valid approach which can explain the multifaceted character of the phenomenon. (shrink)

Let T 1 , T 2 be countable first-order theories, M i ⊨ T i , and ������ any regular ultrafilter on λ ≥ $\aleph_{0}$ . A longstanding open problem of Keisler asks when T 2 is more complex than T 1 , as measured by the fact that for any such λ, ������, if the ultrapower (M 2 ) λ /������ realizes all types over sets of size ≤ λ, then so must the ultrapower (M 1 ) λ /������. (...) In this paper, building on the author's prior work [12] [13] [14], we show that the relative complexity of first-order theories in Keisler's sense is reflected in the relative graph-theoretic complexity of sequences of hypergraphs associated to formulas of the theory. After reviewing prior work on Keisler's order, we present the new construction in the context of ultrapowers, give various applications to the open question of the unstable classification, and investigate the interaction between theories and regularizing sets. We show that there is a minimum unstable theory, a minimum TP 2 theory, and that maximality is implied by the density of certain graph edges (between components arising from Szemerédi-regular decompositions) remaining bounded away from 0, 1. We also introduce and discuss flexible ultrafilters, a relevant class of regular ultrafilters which reflect the sensitivity of certain unstable (non low) theories to the sizes of regularizing sets, and prove that any ultrafilter which saturates the minimal TP 2 theory is flexible. (shrink)

The Birkhoff-Maltsev problem asks for a characterization of those lattices each of which is isomorphic to the lattice L(K) of all subquasivarieties for some quasivariety K of algebraic systems. The current status of this problem, which is still open, is discussed. Various unsolved questions that are related to the Birkhoff-Maltsev problem are also considered, including ones that stem from the theory of propositional logics.

The same research proposal was submitted to 24 district health authority (DHA) research ethics committees in different parts of the country. The objective was to obtain permission for a multi-centre research project. The study of neonatal care in different types of unit (regional, subregional and district), required that four health authorities were approached in each of six widely separated health regions in England. Data were collected and compared concerning aspects of processing, including application forms, information required, timing and decision-making. The (...) key finding was that ethics committees received and processed the applications variably, reflecting individual factors and local problems. To improve consensus and facilitate multicentre studies, standard forms and instructions are suggested and the establishment of a national committee or advisory group advocated. (shrink)

In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as well as interest from the point of view of applications. The language, concepts and methods of model theory can thus be used to describe the relationship between logics through morphisms of structures called transfers. This leads to a formal framework for studying several properties of abstract logics and their attributes such as consequence operator, (...) syntactical structure, and internal transformations. In particular, we treat Belief Revision Systems (BRS) as our main example, defining the Wide Belief Revision Systems (WBRS''s). This generalization allows us to define BRS''s in an abstract setting for classical and non-standard logics. We also show how the concept of translation between logics can be obtained as a particular case of transfers. (shrink)

Some theorists, worried about liberalism’s potential as a foundation for public health ethics, suggest that republicanism provides a better background of justification for public health policies, interventions, etc. In this article, this suggestion is put to the test, and it is argued that (i) contemporary (civic) republicanism and liberalism are not nearly as opposed as it is sometimes suggested, and that (ii) the kind of republicanism which one leading scholar in the field, Bruce Jennings, as an alternative to liberalism, does (...) not reflect the contemporary understanding of republicanism as held by, e.g. Phillip Pettit et al. (shrink)

For a first-order formula φ(x; y) we introduce and study the characteristic sequence ⟨P n : n < ω⟩ of hypergraphs defined by P n (y₁…., y n ):= $(\exists x)\bigwedge _{i\leq n}\varphi (x;y_{i})$ . We show that combinatorial and classification theoretic properties of the characteristic sequence reflect classification theoretic properties of φ and vice versa. The main results are a characterization of NIP and of simplicity in terms of persistence of configurations in the characteristic sequence. Specifically, we show that (...) some tree properties are detected by the presence of certain combinatorial configurations in the characteristic sequence while other properties such as instability and the independence property manifest themselves in the persistence of complicated configurations under localization. (shrink)

The characteristic sequence of hypergraphs Pn:n<ω associated to a formula φ, introduced in Malliaris [5], is defined by Pn=i≤nφ. We continue the study of characteristic sequences, showing that graph-theoretic techniques, notably Szemerédi’s celebrated regularity lemma, can be naturally applied to the study of model-theoretic complexity via the characteristic sequence. Specifically, we relate classification-theoretic properties of φ and of the Pn to density between components in Szemerédi-regular decompositions of graphs in the characteristic sequence. In addition, we use Szemerédi regularity to calibrate (...) model-theoretic notions of independence by describing the depth of independence of a constellation of sets and showing that certain failures of depth imply Shelah’s strong order property SOP3; this sheds light on the interplay of independence and order in unstable theories. (shrink)

This article develops an account of the nature and limits of the state’s legislative authority that closely attends to the challenge of harmonizing Kant’s ethical and juridical theories. It clarifies some key Kantian concepts and terms, then explains the way in which the state’s three interlocking authorities – legislative, executive, and judicial – are metaphysically distinct and mutually dependent. It describes the emergence of the Kantian state and identifies the preconditions of its authority. Then it offers a metaphysical model of (...) the Kantian state and uses it to argue that the activity of juridical lawgiving is an act of the omnilateral will itself. Legislative authority is limited in the sense that it does not include the capacity to create juridical laws that are conceptually incompatible with the idea of universal external freedom. I argue that my proposed account of the legislative authority is wholly consistent with that authority’s exclusive lawgiving capacity and does not threaten the possibility of ‘distributive justice’ – the legal finality that is the sine qua non of a civil condition. (shrink)

A new interpretation of quantum theory is proposed. It coincides in a number of points with the orthodox interpretation, the main difference being that the projection of the state vector can occur without the intervention of any observer.

In spite of his post-World War II works on international law, which seems more purely juridical, Hans Kelsen continues to put forward in his vast body of work an implicit – and sometimes even explicit – juridical objectivism and pacifism. Especially before and during the second World War he makes – by means of many moral-political writings – an effort for a more effective assurance of international peace. The fact that Kelsen regards the law as the pre-eminent means to achieve (...) the end of peace, is – in view of the tradition running from Hobbes to Kant – still not very innovating. But the primary and central role he assigns to the judiciary in order to guarantee international peace is on the other hand really original. To bring out Kelsen’s juridical objectivism and pacifism, I restrict myself in this article to his plea before and during the second World War for the judicial primacy in the international legal order. In that plea, which is spread over many writings and founded by several arguments, I distinguish however three main convincing arguments – namely an evolutionary, a technical and a moral-political argument – for the establishment of an international court with compulsory jurisdiction as the ‘guardian of international peace’. The fact that Kelsen’s original plea is still relevant to our times, is already evident from the post-World War II UN-system of peace-enforcement, which still functions little satisfactorily and of which the existing plans of reform go no further than strengthening the position of the Security Council, the current hardly effective ‘maintainer of world peace’. (shrink)